Journal of Automated Reasoning
Journal of Automated Reasoning > 2018 > 60 > 1 > 23-42
Journal of Automated Reasoning > 2018 > 60 > 1 > 85-105
Journal of Automated Reasoning > 2018 > 60 > 1 > 43-62
Journal of Automated Reasoning > 2018 > 60 > 1 > 63-84
Journal of Automated Reasoning > 2018 > 60 > 1 > 107-131
Journal of Automated Reasoning > 2018 > 60 > 1 > 3-21